﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace PushDownAutomaton
{
    enum DeltaPDAAction
    {
        Push,
        Pop,
        Nothing
    }

    struct DeltaPDAValue
    {
        private PDAState nextState;
        private String pushSymbol;
        private DeltaPDAAction action;

        public PDAState NextState { get { return nextState; } }
        public String PushSymbol { get { return pushSymbol; } }
        public DeltaPDAAction Action { get { return action; } }

        public DeltaPDAValue(PDAState nextState, DeltaPDAAction action, String pushSymbol)
        {
            this.action = action;
            this.nextState = nextState;
            this.pushSymbol = pushSymbol;
        }


    }
}
